#include "types.h"
#include "riscv.h"
#include "defs.h"

//
// send one character to the uart.
// called by printf(), and to echo input characters,
// but not from write().
//
void
consputc(int c)
{
    uartputc_sync(c);
}
